-
1 алгебра высказываний
Большой англо-русский и русско-английский словарь > алгебра высказываний
-
2 propositional algebra
-
3 propositional algebra
алгебра высказыванийEnglish-Russian dictionary of technical terms > propositional algebra
-
4 propositional algebra
English-Russian information technology > propositional algebra
-
5 propositional algebra
алгебра высказываний; пропозициональная алгебра -
6 propositional algebra
Большой англо-русский и русско-английский словарь > propositional algebra
-
7 propositional algebra
алгебра высказываний; пропозициональная алгебраEnglish-Russian dictionary of computer science and programming > propositional algebra
-
8 propositional algebra
1) Математика: пропозиционная алгебра2) Вычислительная техника: алгебра высказываний, пропозициональная алгебра -
9 algebra of propositions
Математика: алгебра высказываний (то же "алгебра логики"(algebra of logic))Универсальный англо-русский словарь > algebra of propositions
-
10 prepositional algebra
1) Техника: пропозиционная алгебра2) Вычислительная техника: алгебра высказываний -
11 propositional algebra
мат.English-Russian scientific dictionary > propositional algebra
См. также в других словарях:
Алгебра высказываний — … Википедия
Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний) раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… … Википедия
алгебра буля — исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые… … Словарь терминов логики
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
АЛГЕБРА ЛОГИКИ — система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле табличное, матричное построение логики высказываний, определяющее логические операции над ними … Большой Энциклопедический словарь
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. В формулах А. л. переменные являются логическими или двоичными, т. е. принимающими только два… … Большая политехническая энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
АЛГЕБРА ЛОГИКИ — раздел матем. логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности или ложности), и логич. операции над ними. В А. л. принято отождествлять истинность высказывания с числом 1, а ложность с числом О (А = 1 и С … Большой энциклопедический политехнический словарь
алгебра логики — система алгебраических методов решения логических задач и совокупность таких задач. * * * АЛГЕБРА ЛОГИКИ АЛГЕБРА ЛОГИКИ, система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле табличное, матричное… … Энциклопедический словарь